Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
61	On Optimality of Ownership Type Inference Wei Huang and Ana Milanova Rensselaer Polytechnic Institute, Troy NY, USA Abstract. Despite the benefits of ownership type systems, practical adoption is lacking. This is due to Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2011-06-10 11:57:48
62	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
63	Uncertain<T>: A First-Order Type for Uncertain Data Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-10 00:11:41 Statistics Statistical theory Statistical inference Bayesian statistics Statistical models Measurement Bayesian network Probability distribution Bayesian inference Normal distribution Global Positioning System Confidence interval
64	Probability Type Inference for Flexible Approximate Programming Brett Boston Adrian Sampson Add to Reading List Source URL: adriansampson.net Language: English - Date: 2015-10-13 18:49:04
65	Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-04-09 15:30:23
66	Automatic Type Inference for Amortised Heap-Space Analysis Martin Hofmann and Dulma Rodriguez 1 2 Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-05-05 05:20:24
67	Simple Type Inference for Structural Polymorphism† Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Symbol Polymorphism
68	Package ‘trigger’ April 14, 2016 Type Package Title Transcriptional Regulatory Inference from Genetics of Gene ExpRession Version Add to Reading List Source URL: www.bioconductor.org Language: English - Date: 2016-04-16 14:45:47
69	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
70	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion

UPDATE